Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
71	C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Software engineering Computing Computer programming Logic in computer science Formal methods Programming language implementation Functional languages Programming paradigms Partial evaluation Programming language Operational semantics Functional programming
72	TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-05-06 07:44:21 Software engineering Theoretical computer science Automated theorem proving Mathematics Logic in computer science Functional languages Formal methods Reasoning Satisfiability modulo theories Rippling Automated reasoning IP
73	Translating SCXML Statecharts to iUML-B State-machines Karla Morris : Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-30 13:57:46 Computing SCXML Models of computation Call Control eXtensible Markup Language State diagram Formal methods Auguste Rodin B-Method Finite-state machine Rodin Linz
74	An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 04:29:26 Theoretical computer science Automated planning and scheduling Logic in computer science Mathematics Computational complexity theory Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Planning Domain Definition Language Satz
75	to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2004-02-23 13:34:35 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Automated theorem proving Process calculus Lambda calculus Bisimulation Limit of a function
76	Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document? Add to Reading List Source URL: www.gogognome.nl Language: English - Date: 2016-04-05 02:15:07 Formal methods Theoretical computer science Software engineering Mathematics Hoare logic Static program analysis Algorithm Precondition Predicate transformer semantics Loop invariant
77	Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-31 06:33:48 Software engineering Formal methods Models of computation Computing Engineering Model checking Object Process Methodology Conceptual model MTSS Scientific modelling Refinement Transition system
78	CS4003: Approach CS4003: Formal Methods Andrew Butterfield1 1 Foundations Add to Reading List Source URL: www.scss.tcd.ie Language: English - Date: 2014-12-22 10:26:21 Logic Mathematical logic Mathematics Predicate logic Semantics Quantification Model theory Mathematical notation First-order logic FO Free variables and bound variables Quantifier
79	Microsoft Word - D20-1.0.c.doc Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-11-21 08:16:27 Formal methods Rodin tool Theoretical computer science Software engineering Rodin Michael Butler B-Method Independent Investigations Group
80	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem